A Logical Model for Agent Communication Languages
نویسندگان
چکیده
منابع مشابه
A Logical Model for Agent Communication Languages
The current ACL proposals show some shortcomings with respect to the definition of their semantics. Our paper aims at tackling those issues by defining an ACL semantics as a specification of the analytical effects of agent communicative acts. We analyze agent communication in terms of concepts taken from Speech Act Theory, as several researchers have already done, but move away from the mainstr...
متن کاملLogical formalization of social commitments: application to agent communication languages
Nowadays most of the Agent Communication Languages are no longer defined in terms of the agents’ mental attitudes, but in terms of social commitments, which avoids strong hypotheses on the agents’ internal states and thus allows verification of the semantics. While social approaches have attracted a lot of attention, two drawbacks remain. First, the notion of commitment does not have a clear an...
متن کاملA New Logical Semantics for Agent Communication
In this paper we develop a semantics of our approach based on commitments and arguments for conversational agents. We propose a logical model based on CTL* (Extended Computation Tree Logic) and on dynamic logic. Called Commitment and Argument Network (CAN), our formal framework based on this hybrid approach uses three basic elements: social commitments, actions that agents apply to these commit...
متن کاملDesiderata for Agent Communication Languages
This paper o ers some opinions on the desirable features of languages and protocols for communication among intelligent information agents. These desiderata are divided into seven categories: form, content, semantics, implementation, networking, environment, and reliability. The Knowledge Query and Manipulation Language (KQML), is a new language and protocol for exchanging information and knowl...
متن کاملA Security Architecture for Agent Communication Languages
One of the essential features of a software agent is its ability to cooperate with other software agents. This cooperation requires, in general, that software agents be able to communicate in an appropriately rich agent communication language (ACL) and associated protocols. For an ACL to be e ective in an open environment like the Internet, it must support security, privacy, the integrity of da...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)82610-6